Computer optimization - PDFSEARCH.IO - Document Search Engine

Computer optimization
Results: 3360

#	Item
911	Tunnel-Based Pruning for Classical Planning Bachelor’s Thesis Natural Science Faculty of the University of Basel Department of Computer Science Add to Reading List Source URL: ai.cs.unibas.ch Language: English - Date: 2015-02-12 08:17:13 Decision trees Heuristics Combinatorial optimization Pruning Heuristic function A* search algorithm Heuristic Mathematics Artificial intelligence Search algorithms Game artificial intelligence
912	Algorithms Lecture 30: NP-Hard Problems [Fa’14] [I]n his short and broken treatise he provides an eternal example—not of laws, or even of method, for there is no method except to be very intelligent, but Add to Reading List Source URL: web.engr.illinois.edu Language: English - Date: 2014-12-28 09:03:23 Complexity classes Mathematical optimization Structural complexity theory Computability theory NP-hard NP-complete Boolean satisfiability problem Cook–Levin theorem P versus NP problem Theoretical computer science Computational complexity theory Applied mathematics
913	Constraint propagation on quadratic constraints Ferenc Domes, Arnold Neumaier Faculty of Mathematics, University of Vienna Nordbergstrasse 15, A-1090 Vienna, Austria March 19, 2008 Add to Reading List Source URL: www.mat.univie.ac.at Language: English - Date: 2009-01-15 06:59:38 Mathematics Local consistency Constraint satisfaction Constraint optimization Quadratic programming Mathematical optimization Quadratic equation Interval arithmetic Constraint programming Software engineering Computer programming
914	Spreadsheet Table Transformations from Examples William R. Harris ∗ Sumit Gulwani Dept. of Computer Sciences Add to Reading List Source URL: research.microsoft.com Language: English Software optimization Computer programming Spreadsheet Lookup table Function Algorithm Table Filter Computer Mathematics Computing Computer performance
915	Planning to Plan — Integrating Control Flow Alexander Nareyek Computer Science Department Carnegie Mellon University 5000 Forbes Avenue, Pittsburgh, PA, USA Add to Reading List Source URL: www.ai-center.com Language: English - Date: 2005-12-27 14:06:02 Operations research Automated planning and scheduling Mind Scheduling Planning Mathematical optimization Action selection Project management Business Management
916	Geoinformatica DOIs10707Users plan optimization for participatory urban texture documentation Houtan Shirani-Mehr · Farnoush Banaei-Kashani · Add to Reading List Source URL: infolab.usc.edu Language: English - Date: 2012-11-09 19:21:28 Texture Rendering Science Physics 3D computer graphics Crystallography Metallurgy
917	Proc. 2nd Intern. Joint Conf. on Autonomous Agent and Multiagent Systems (AAMAS-03), to appear. An Analysis and Application of Distributed Constraint Satisfaction and Optimization Algorithms in Sensor Networks Add to Reading List Source URL: www.cse.wustl.edu Language: English - Date: 2003-04-05 10:56:04 Applied mathematics Constraint satisfaction problem Graph coloring Constraint satisfaction Wireless sensor network Distributed computing Local search Constraint optimization Algorithm Constraint programming Mathematics Theoretical computer science
918	Computer-assisted proofs Arnold Neumaier Fakult¨at f¨ur Mathematik, Universit¨at Wien Nordbergstr. 15, A-1090 Wien, Austria http://www.mat.univie.ac.at/∼neum/ Add to Reading List Source URL: www.mat.univie.ac.at Language: English - Date: 2008-12-12 05:03:04 Mathematical logic Mathematical proofs Proof theory Mathematical optimization Interval arithmetic Computer-assisted proof Linear programming Logarithm Maple Mathematics Operations research Automated theorem proving
919	ISSNGRACE TECHNICAL REPORTS Marker-directed Optimization of UnCAL Graph Transformations (revised version) Add to Reading List Source URL: research.nii.ac.jp Language: English - Date: 2012-02-23 02:46:36 Graph rewriting Graph operations Graph Connectivity Monochromatic triangle Graph theory Mathematics Theoretical computer science
920	Cache-Friendly Implementations of Transitive Closure* Michael Penner and Viktor K Prasanna University of Southern California (, ) http://advisor.usc.edu overall performance is a difficult Add to Reading List Source URL: research.ac.upc.edu Language: English - Date: 2002-03-20 08:48:02 Computer hardware Computer memory Compiler optimizations CPU cache Cache-oblivious algorithm Lookup table Loop optimization Program optimization Array Computing Cache Central processing unit

UPDATE